home *** CD-ROM | disk | FTP | other *** search
/ Languguage OS 2 / Languguage OS II Version 10-94 (Knowledge Media)(1994).ISO / language / lolli / announce next >
Text File  |  1994-10-29  |  3KB  |  60 lines
  1.      Lolli -- An Interpreter for Linear-Logic Programming
  2.  
  3.  
  4. In conjunction  with the Joint International  Conference and  Symposium on
  5. Logic  Programming, and in  particular the  Workshop on  Linear  Logic and
  6. Logic   Programming,  we  are   pleased  to  announce   the  first  public
  7. distribution  of Lolli, an  interpreter  for  logic  programming based  on
  8. linear logic principles.
  9.  
  10. The language Lolli  (named  for the  linear logic implication operator -o,
  11. called lollipop),  is a complete implementation of the language  described
  12. in  the  paper  ``Logic Programming in a Fragment of Intuitionistic Linear
  13. Logic" (Joshua S.   Hodas &  Dale Miller, LICS '91, an extended version to
  14. appear in Information and Computation), though it differs a bit in syntax,
  15. and includes a wide variety of built-in extra-logical predicates.
  16.  
  17. The  logic underlying Lolli can be  viewed  as  a  refinement  of  the the
  18. Hereditary  Harrop formulas of  Lambda-Prolog.  All the operators  (though
  19. not the higher order unification) of Lambda-Prolog are supported, but with
  20. the  addition  of linear  variations.  Thus a Lolli program  distinguishes
  21. between clauses that can be used as many, or as few, times as desired, and
  22. those that must be used exactly once.
  23.  
  24. These  features  have  been  used  to   provide   a  perspicuous,  logical
  25. implementation of a number  of example problems, including object-oriented
  26. programming  with mutable state and  information hiding,  database update,
  27. and  term rewriting.  Lolli  has also  been  used  as the  setting for the
  28. development  of  a  filler-gap  dependency  parser  for  natural  language
  29. processing.   This last is described in  the paper ``Specifying Filler-Gap
  30. Dependency  Parsers in  a Linear Logic Programming Language", by Joshua S.
  31. Hodas, to be presented at JICSLP '92.
  32.  
  33. This preliminary implementation was  developed over  the last  year and is
  34. based on code written by  Frank Pfenning and  Conal Elliot for their paper
  35. ``A Semi-Functional  Implementation  of a Higher-Order  Logic  Programming
  36. Language" which appears in ``Topics in Advanced Language  Implementation",
  37. MIT Press, Peter Lee editor.  DVI files for this paper, as well as the two
  38. papers mentioned above, are included with the distribution.
  39.  
  40. Obtaining the Lolli Distribution
  41. ================================
  42.  
  43. To   retrieve  a  copy  of  the   Lolli   system,  ftp  (anonymously)   to
  44. ftp.cis.upenn.edu     (130.91.6.8)      and     retrieve     the      file
  45. pub/Lolli/Lolli-0701.tar.Z. (Be sure to set ftp to BINARY transfer first.)
  46. This distribution includes full ML  source, along with a Makefile, as well
  47. as the papers mentioned above and a collection of example programs. If you
  48. retrieve the  system,  please  send  e-mail to hodas@saul.cis.upenn.edu so
  49. that you may be kept informed of updates.
  50.  
  51. For those who do not have SML-NJ 0.75 at  their site,  we  hope to provide
  52. pre-built binaries for a variety of architectures.   These binaries can be
  53. found  on  ftp.cis.upenn.edu  in  the  directory  pub/Lolli/binaries.   At
  54. present Sparc and NeXT binaries  are available.  If you compile Lolli on a
  55. new  architecture, please  contact us  so  that  we  can make your  binary
  56. available.
  57.  
  58.  
  59.  
  60.